Representing Con guration Knowledge With Weight Constraint Rules
نویسندگان
چکیده
منابع مشابه
Integration of Distributed Constraint-Based Con gurators
Con guration problems are a thriving application area for declarative knowledge representation that experiences a constant increase in size and complexity of knowledge bases. However, today's con gurators are designed for solving local con guration problems not providing any distributed con guration problem solving functionality. Consequently the challenges for the construction of con guration ...
متن کاملStable Model Semantics of Weight Constraint Rules
1 A generalization of logic program rules is proposed where rules are built from weight constraints with type information for each predicate instead of simple literals. These kinds of constraints are useful for concisely representing di erent kinds of choices as well as cardinality, cost and resource constraints in combinatorial problems such as product con guration. A declarative semantics for...
متن کاملConceptual Modeling for Con®guration of Mass-customizable Products
The development and maintenance of product con®guration systems is faced with increasing challenges caused by the growing complexity of the underlying knowledge bases. Effective knowledge acquisition is needed since the product and the corresponding con®guration system have to be developed in parallel. In this paper, we show how to employ a standard design language (Uni®ed Modeling Language, UM...
متن کاملVisual Formalisms for Con guration Management
As reuse of software components becomes more commonplace, being able to understand, manipulate and reason about software system architectures acquires new importance. Although commercial software development environments have addressed many of the issues of con guration management, there is still a need for visual formalisms that can aid in representing and manipulating architectures of softwar...
متن کاملEcai-96 Workshop 27 Partial Satisfaction of Constraint Hierarchies in Reactive and Interactive Connguration
Experience in applying expert systems revealed that there is usually a signi cant gap between the problem in the expert's mind and its formal speci cation. Thus, real-world con guration and scheduling problems often require a close dialogue between an expert and the expert system during the con guration process in order to bridge this gap. The expert must be able to re ne and correct the proble...
متن کامل